COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.device xgp
C00010 ENDMK
C⊗;
.device xgp
.page frame 62 high 81 wide
.title area heading lines 1 to 2
.area text lines 3 to 61
.title area footing line 62
.turn on "↓_"
.FONT 1 "FIX25";	
.FONT 2 "FIX25X";	
.next page
.begin center;select 2
CURRICULUM VITA
.end
.begin nofill; single space; select 1
.group skip 1;
Personal:	↓_Name_↓	     Ruth E. Davis

		↓_Address_↓	     18215 Bayview Drive
				 Los Gatos, CA 95030

		↓_Telephone_↓	     (408) 353-3857

		↓_Citizenship_↓	     United States

.group skip 2;
Education:	University of Santa Clara
		Major: Mathematics
		B.S. May, 1973

		San Jose State University
		Major: Mathematics
		M.S. June, 1976
		Master's thesis: "Deduction, Truth and Computation"
			A study of the relationships among these concepts in
			several mathematical and computer science formalisms.

		University of California, Santa Cruz
		Major: Information Sciences
		Advanced to Ph.D. candidacy in November, 1977; this involved
			qualification in three areas:
				1) Mathematical Theory of Computation
				2) Programming Linguistics
				3) Computer Architecture
			and a comprehensive oral exam, including presentation
			of proposed thesis research.
		Ph.D. Thesis advisor: Dr. Sharon Sickel.
		Dissertation: "Generating Correct Programs from Logic
			Specifications".
		Completion of degree: June 1979.

.group skip 3;

Teaching Experience:

	Reader -	University of Santa Clara. Courses: Differential 
			Equations, Finite Mathematics, and Survey of Geometry.

	Tutor - 	Math Lab, University of Santa Clara
			Math Lab, San Jose State University
			Algebra, private student

	Lecturer - 	San Jose State University (Sept., 1974 thru June, 1976).
			Two courses each semester: Finite Mathematics and
			Elementary Mathematics for Elementary School Teachers.

	Teaching Assistant - University of California, Santa Cruz (Sept., 1976
			thru March, 1979). Courses: Computers and Society, 
			Introduction to Computation, Introduction to Cybernetics,
			Programming in ALGOL-W, and Computational Logic.

	Lecturer - 	University of California, Santa Cruz (summer 1978).
			Course: Introduction to Cybernetics.

	Lecturer -	University of California, Santa Cruz (spring 1979).
			Two courses: Introduction to Programming in ALGOL-W
				     Data Structures

	Teaching Assistant - University of California, Santa Cruz; Computer
			Institute (summer 1979).
			Courses: Systems Reliability and Programming Methodology

	Assistant Professor - University of Santa Clara (September 1979 -)
.group skip 3;

Related Work Experience:

	Hewlett-Packard Research Labs - member technical staff, summers 1976 and
		1977, and winter break Dec 1976 - Jan 1977.

	Research Assistantship - summer 1978, thesis related research.

	Assistant at IFIPS Working Group 2.3 (Programming Methodology) meeting
		August 1979.

	Consultant to Logical Paradox, Inc. (1979 -)

	Consultant to The LISP Company, (T . (L . C))  (1979 -)
.group skip 3;

Academic Honors:

	Pi Mu Epsilon membership (National Math Honor Society)

	Graduate Fellowship 1974-76, San Jose State University

	Teaching Assistantship 1976-79, University of California, Santa Cruz

	Graduate Fellowship, Fall-Winter 1978-79, University of California, 
		Santa Cruz

	1979 ACM Doctoral Forum Award recognizing most significant contributions
		to the field of computing made by dissertations completed during 
		the past year.
.group skip 3;


Membership in professional societies:

	European Association for Theoretical Computer Science

	Association for Computing Machinery, including the following special
		interest groups:
		SIGACT  (Automata and Computability Theory)
		SIGART  (Artificial Intelligence)
		SIGOPS  (Operating Systems)
		SIGPC   (Personal Computing)
		SIGPLAN (Programming Languages)
		SIGSMALL(Small Computing Systems and Applications)
		SIGSOFT (Software Engineering)

	California Women in Higher Education
.group skip 3;

Recommendations from the people listed below may be obtained by writing to:

			Educational Placement Office
			McHenry Library, Room 350
			University of California, Santa Cruz
			Santa Cruz, CA 95064

.begin center
Dr. Sharon Sickel
University of California, Santa Cruz

Dr. Michael Burke
San Jose State University

Dr. David Huffman
University of California, Santa Cruz

Dr. William McKeeman
University of California, Santa Cruz

Dr. Charlie Bass
Ungerman Bass Associates, Santa Clara

.end
.end